Main entry: universal, universal proposition
Definition: (logic) a proposition that asserts something of all members of a class
Antonyms: particular, particular proposition
Definition: (logic) a proposition that asserts something about some (but not all) members of a class